901. Rough-fuzzy pattern recognition
المؤلف: Pradipta Maji, Sankar K. Pal
المکتبة: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع: Fuzzy systems in medicine,Pattern recognition systems,Bioinformatics,Diagnostic imaging -- Data processing,Fuzzy Logic,Pattern Recognition, Automated- methods,Computational Biology- methods,Image Processing, Computer-Assisted- methods
رده :
R
،
859
.
7
،.
F89
,
M35
،
2012
902. Rules and reasoning :
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer logic ; Congresses. ;
903. Rules and reasoning :
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer logic ; Congresses. ;
904. Runtime Verification
المؤلف: edited by Sarfraz Khurshid, Koushik Sen
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science,Computer software,Logic design,Software engineering,Algorithm Analysis and Problem Complexity,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
905. Scheduling in Parallel Computing Systems
المؤلف: by Shaharuddin Salleh, Albert Y. Zomaya.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Information theory.,Logic, Symbolic and mathematical.
906. Self- timed control of concurrent processes : the design of aperiodic logical circuits in computers and discrete systems
المؤلف:
المکتبة: كتابخانه پژوهشگاه نیرو (طهران)
موضوع: ، Computer architecture,، Logic design,، Discrete- time systems
907. Semantics:
المؤلف: edited by J.W. Bakker, W.-P. Roever, G. Rozenberg.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
908. Sequential logic synthesis
المؤلف: / By Paranav Ashar, Srinivas Devadas, A. Richard Newton
المکتبة: مكتبات الكلية التقنية 1 بجامعة طهران (طهران)
موضوع: Logic circuits - Design and construction-Data processing,Logic design - Data processing,Computer-aided design and construction--Data processing
رده :
TK
7868
.
L6A84
1991
909. Sequential logic synthesis
المؤلف: / Pranav Ashar,Ashar
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Logic circuits -- Design and construction -- Data processing,Logic design -- Data processing,Computer - aided design,Integrated Circuits -- Very large scale integration -- Design and construction --
رده :
TK
7868
.
L6A84
1992
910. Sequential logic testing and verification
المؤلف: / by Abhijit Ghosh, Srinivas Devadas, A. Richard Newton,Ghosh
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Logic circuits -- Testing,Logic design,Computer - aided design
رده :
TK
7868
.
L6G47
1992
911. Sequentila logic and verilog HDL fundamentals
المؤلف: Cavanagh, Joseph J. F.
المکتبة: (طهران)
موضوع: ، Verilog )Computer hardware description language(,، Logic design,، Sequential circuits
رده :
TK
7885
.
7
.
C39S4
912. Sets, Logic and Maths for Computing
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Mathematics. ; Mathematical logic. ; Computer mathematics. ; Discrete mathematics. ; Discrete Mathematics in Computer Science. ; -Computer science
913. Simply logical
المؤلف: / Peter Flach
المکتبة: مكتبات الكلية التقنية 1 بجامعة طهران (طهران)
موضوع: Artificial intelligence,Reasoning - Data processing,Logic, Symbolic and mathematical,Prolog (Computer program language)
رده :
Q
335
.
F58
1994
914. Simply logical: intelligent reasoning by example
المؤلف: Flach, Peter A.
المکتبة: مكتبة, ومركز المعلومات ومركز الوثائق العلمية لمركز بحوث الحوزة والجامعة (قم)
موضوع: Data Processing ، Reasoning,، Logic, Symbolic And Mathematical,، Artifical Intelligence,، Prolag ) Computer Program Language(
رده :
Q
335
.
F58
1994
915. Soft Computing for Knowledge Discovery
المؤلف: by James G. Shanahan.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Data structures (Computer science).,Logic, Symbolic and mathematical.
916. Software Composition
المؤلف: edited by Thomas Gschwind, Flavio Paoli, Volker Gruhn, Matthias Book
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer Communication Networks,Computer science,Logic design,Software engineering,Computer Communication Networks,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
917. Software Engineering 3
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Information theory. ; Software engineering. ; Computer science. ; Logic design. ; Theory of Computation. ;
918. Software Service and Application Engineering
المؤلف: edited by Maritta Heisel
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer Communication Networks,Computer science,Logic design,Software engineering,Computation by Abstract Devices,Computer Communication Networks,Computer Science,Information Systems Applications (incl. Internet),Logics and Meanings of Programs,Software Engineering
919. Software blueprints
المؤلف: David Robertson, Jaume Agustai
المکتبة: كتابخانه مركزي دانشگاه شهركرد (جهار محال و بختیاري)
موضوع: Computer software, Development,Computer logic,Mathematical models
920. Solving higher-order equations: from logic to programming
المؤلف: Prehofer, Christian
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Computer logic,، Declarative programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
L63
.
P74
1997
